1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m16c.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP8W/38B5PRP |
Repositório | sid.inpe.br/mtc-m18/2010/09.27.17.05 |
Última Atualização | 2010:09.27.17.05.10 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/mtc-m18/2010/09.27.17.05.10 |
Última Atualização dos Metadados | 2020:11.26.13.54.08 (UTC) administrator |
Chave Secundária | INPE--PRE/ |
Chave de Citação | MarinkeVijaSenn:2010:AbSt |
Título | Geração de Testes Caixa Branca para aplicações Multithreads: Abordagem por Statecharts |
Formato | On-line |
Ano | 2010 |
Data de Acesso | 18 maio 2024 |
Tipo Secundário | PRE CN |
Número de Arquivos | 1 |
Tamanho | 1134 KiB |
|
2. Contextualização | |
Autor | 1 Marinke, Rogério 2 Vijaykumar, Nandamudi L. 3 Senne, Edson L. F. |
Grupo | 1 2 LAC-CTE-INPE-MCT-BR |
Afiliação | 1 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
Editor | Rodrigues, Rita de Cássia Meneses Almeida, Wesley Gomes de Assis, Talita Oliveira Chalhoub, Ezzat Selim Cortivo, Fábio Dall França, Luis Fernando Amorim Macau, Elbert Einstein Nehrer Oliveira, Rudinei Martins de Pillat, Valdir Gil Santos, Laurita dos Serpa, Dalila Ribeiro Silva, José Demisio Simões da Silva, Marlon da |
Endereço de e-Mail | marinke@terra.com.br |
Nome do Evento | Workshop dos Cursos de Computação Aplicada do INPE, 10 (WORCAP). |
Localização do Evento | São José dos Campos |
Data | 20 e 21 out. 2010 |
Editora (Publisher) | Instituto Nacional de Pesquisas Espaciais (INPE) |
Cidade da Editora | São José dos Campos |
Título do Livro | Anais |
Organização | Instituto Nacional de Pesquisas Espaciais (INPE) |
Histórico (UTC) | 2010-11-24 14:25:56 :: marinke@terra.com.br -> administrator :: 2010 2010-12-08 16:27:17 :: administrator -> marciana :: 2010 2010-12-10 12:00:07 :: marciana -> administrator :: 2010 2020-11-26 13:54:08 :: administrator -> marciana :: 2010 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Palavras-Chave | Statecharts teste caixa branca threads |
Resumo | A modelagem do código fonte de software multithreads em Statecharts é proposta neste trabalho. Uma possível abordagem para a execução de testes de softwares baseados em modelo é realizar a modelagem em Máquinas de Estados Finita (MEF). No entanto, alguns softwares, como protocolos de comunicação utilizados em aplicações espaciais possuem características de concorrência e paralelismo, e estas não podem ser facilmente modeladas utilizando MEF. Uma alternativa é realizar a modelagem com Statecharts. O objetivo deste trabalho é explorar testes caixa branca utilizando Statecharts. O estudo de caso é composto por processos multithreads automaticamente convertidos para Statecharts. Então, a ferramenta WEB-PerformCharts converterá a especificação para uma MEF plana. Isto torna possível a implementação de critérios que derivam casos de testes para testes tipo caixa branca e para sistemas concorrentes. |
Área | COMP |
Tipo | Modelagem Computacional |
Arranjo 1 | urlib.net > LABAC > Geração de Testes... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > Fonds > WORCAP > Geração de Testes... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP8W/38B5PRP |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP8W/38B5PRP |
Idioma | pt |
Arquivo Alvo | artigo.pdf |
Grupo de Usuários | administrator marinke@terra.com.br administrator marciana |
Visibilidade | shown |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGP8W/38ELNHL |
Lista de Itens Citando | sid.inpe.br/bibdigital/2013/09.22.23.14 1 |
Acervo Hospedeiro | sid.inpe.br/mtc-m18@80/2008/03.17.15.17 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi edition electronicmailaddress isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor shorttitle sponsor tertiarymark tertiarytype url versiontype volume |
|
7. Controle da descrição | |
e-Mail (login) | marciana |
atualizar | |
|